i  j  k == (i  j) & (j  k) 

latex

Definitions	P & Q, A  B
FDL editor aliases	lele